You are here: irt.org | FOLDOC | type assignment
<theory> A mapping of the free variables of some expression E to types. This is used in type inference to deduce the type of E and its subexpressions.
(2002-02-22)
Nearby terms: type « type-ahead « type-ahead search « type assignment » type class » typed lambda-calculus » TypedProlog
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL